Real-Time Synchronization Protocols with Abortable Critical Sections
نویسندگان
چکیده
Making critical sections abortable is a promising approach to reducing priority inversions. To improve the schedulability of a system using abortable critical sections, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the ceiling abort protocol (CAP) which introduces a new priority-based abort scheme to the priority ceiling protocol. Our proposed protocol can make the maximum number of abortions smaller than with the conventional priority abort scheme. A method to determine an upper bound on the number of abortions under the CAP is presented, and a schedulability analysis of the protocol is illustrated. Some extensions of the CAP are also discussed.
منابع مشابه
Interruptible Critical Sections
We present a new approach to synchronization on uniprocessors with special applicability to embedded and real-time systems. Existing methods for synchronization in real-time systems are pessimistic, and use blocking to enforce concurrency control. While protocols to bound the blocking of high priority tasks exist, high priority tasks can still be blocked by low priority tasks. In addition, thes...
متن کاملEnergy-Efficient Real-Time Scheduling of Tasks With Abortable Critical Sections
In this paper, an energy-efficient scheduling algorithm, called ceiling-based conditional abortable scheduling (CB-CAS) algorithm, is proposed to schedule periodic hard real-time tasks in a non-ideal DVS processor. Based on the schedulability analysis, CBCAS calculates a proper processor speed for task execution so that the energy consumption can be reduced without violating the timing constrai...
متن کاملA conditional abortable priority ceiling protocol for scheduling mixed real-time tasks
Priority Ceiling Protocol (PCP) is a well-known resource access protocol for hard real-time systems. However, it has a problem of ceiling blocking which imposes a great hindrance to task scheduling in mixed real-time systems where tasks may have different criticality. In this paper, a new resource access protocol called the Conditional Abortable Priority Ceiling Protocol (CA-PCP) is proposed. I...
متن کاملControl for Dynamic Priority Distributed Real - Time Systems
Many of today’s complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this demand, the Object Management Group’s (OMG) Real-Time Special Interest Group (RT SIG) has worked to extend the Common Object Request Broker Architecture (CORBA) standard to include real-time specifications. This group’s most r...
متن کاملInterruptible Critical Sections for Real-time Systems
In this paper, we present a new approach to synchronization in real-time systems. Existing methods for synchronization in real-time systems are pessimistic, and use blocking to enforce concurrency control. Protocols such as the priority ceiling protocol have been proposed to reduce the priority inversion that occurs when low priority tasks block high priority tasks. However, the priority ceilin...
متن کامل